#define _CRT_SECURE_NO_WARNINGS

#include <stdio.h>
#include <string.h>

int vaildate(char* ch) {
	int vwCount =0 ;
	if (!('0' <= ch[4] && ch[4] <= '9')) {
		return 0;
	}

	for (int i = 0; i < 5; i++) {
		if ('A' <= ch[i] && ch[i] <= 'Z' && ch[i] != 'O' && ch[i] != 'I') {
			vwCount++;
		}
	}

	if (vwCount == 2) {
		return 1;
	} else {
		return 0;
	}
}

int main() {
	char buf[24];
	scanf("%20s", buf);

	for (int i = 0; i < strlen(buf); i++) {
		if ('a' <= buf[i] && buf[i] <= 'z') {
			buf[i] -= 32;
		}
	}

	if (vaildate(buf)) {
		printf("yes:%s", buf);
	} else {
		puts("no.");
	}
}